Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
161	AMOEBAS AND SDP JAN FONIOK AND DANIEL JOHANNSEN Abstract. The hypersurface amoeba membership problem is the problem to decide whether for an input point λ ∈ Rn , the point λ is an element of the amoeba of the hypersu Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2009-01-25 05:07:56 Lambda calculus Matrices Positive-definite matrix Combinatory logic Spectral theory Ordinary differential equations
162	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
163	Modeling Uncertainty of Elements in Pairwise Comparison Matrix on Alo-Group Jaroslav Ramík ÚVAFM, Ostravská univerzita v Ostravě Abstract This lecture deals with pairwise comparison matrices (or, preference matrices) Add to Reading List Source URL: irafm.osu.cz Language: English - Date: 2015-09-21 06:24:41 Fuzzy logic Fuzzy set Matrix Pairwise
164	M ODAL C OMPARISONS : T WO D ILLETANTES IN S EARCH OF AN E XPERT⇤ K AI VON F INTEL AND A NGELIKA K RATZER Massachusetts Institute of Technology and University of Massachusetts at Amherst Abstract We express our puzzlem Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2014-10-22 03:26:10 Comparative Grammar Non-classical logic Philosophical logic Modal logic Comparison Adjective Metalinguistics
165	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
166	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
167	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
168	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
169	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
170	The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:05 Diagrams Diagrammatic reasoning Existential graph Diagram Conceptual graph Euler diagram Venn diagram Logical graph Charles Sanders Peirce Resource Description Framework Logic Description logic

UPDATE